list-diff(eq; as; bs) == filter((a.deq-member(eq; a; bs)); as) 

latex

Definitions	filter(P; l), x.A(x), b, deq-member(eq; x; L)
FDL editor aliases	list-diff